#!/bin/sh
#
#Script to run dlvhex reasoning in an infinitive loop
#
#
cd /home/thang/study/project1/dlvhex/

while true
do
	echo "------ start reasoning -------"
	dlvhex --silent --firstorder testSpeed.dlp
	echo "------ sleeping -------"
	sleep 1
done
